00001 00063 #ifndef __TFP_PRINTF__ 00064 #define __TFP_PRINTF__ 00065 00066 #include <stdarg.h> 00067 00068 void tfp_printf(char *fmt, ...); 00069 00070 #define printf tfp_printf 00071 00072 #endif 00073 00074 00075